STORM_SETUP(
    TARGET_NAME sailors
    TYPE storm_module
    DEPENDENCIES common
)